8 research outputs found

    Testing Reactive Probabilistic Processes

    Full text link
    We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known

    Probing quantum gravity using photons from a flare of the active galactic nucleus Markarian 501 observed by the MAGIC telescope

    No full text

    MAGIC Collaboration: Contributions to the 31st International Cosmic Ray Conference (ICRC 2009)

    No full text

    MAGIC Collaboration: Contributions to the 31st International Cosmic Ray Conference (ICRC 2009)

    No full text

    Observations of AGNs with the MAGIC telescopes.

    No full text

    Calibration and Monitoring of the Pierre Auger Observatory

    No full text
    Contributions to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009International audienceReports on the atmospheric monitoring, calibration, and other operating systems of the Pierre Auger Observatory. Contributions to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009

    The Cosmic Ray Energy Spectrum and Related Measurements with the Pierre Auger Observatory

    No full text
    Submissions to the 31st International Cosmic Ray ConferenceInternational audienceStudies of the cosmic ray energy spectrum at the highest energies with the Pierre Auger Observatory
    corecore